World of Books - Find your book here

Unifying Theories of Programming

Unifying Theories of Programming

Charles Antony Richard Hoare

This book provides a synthesis of the theory of programming.
Mechanized reasoning and hardware design

Mechanized reasoning and hardware design

Charles Antony Richard Hoare

Covers chip designs, mathematical proof versus simulation, automatic verification of sequential circuit designs, and microprocessor specification and verification
Software System Reliability and Security

Software System Reliability and Security

Charles Antony Richard Hoare

Concurrent programming in Java: design principles and patterns. The Java series. Addison- Wesley, Reading, MA, USA, 1996. [42] Gary Todd Leavens. Verifying Object-Oriented Programs that Use Subtypes. PhD thesis, MIT Laboratory for ...
Using the Bible in Spiritual Direction

Using the Bible in Spiritual Direction

Liz Hoare

Liz Hoare. o Using the |Nible Spiritual Directio Liz HOare ForeWord by Daniel L. Prechte The Revd Dr Liz Hoare is Tutor in spiritual formation. Book Cover.
Reflections on the Work of C.A.R. Hoare

Reflections on the Work of C.A.R. Hoare

Preview

Written in honor of Sir Tony Hoare's 75th Birthday, this book provides a discussion of the influence of Hoare's work on current research from an international selection of expert contributors.
Antony Gormley:

Antony Gormley:

Antony Gormley

In conjunction with its exhibition of the work of the British sculptor Antony Gormley the Kunsthaus Bregenz is publishing a catalogue that presents a comprehensive look at the pieces on display.
Index of the Journal of Paleontology

Index of the Journal of Paleontology

Richard D. Hoare

Robert L. Miller & Everett C. Olson; 28, 509 (1954). Sampling difficulties in reconstructing Tertiary mammalian communities (abs.) ... Sandberg, Charles A. See Paul Sartenaer, 3. Sandberg, Philip, 1. The modern ostracods Cyprideis bensoni, ...
The Broadview Anthology of Literature of the Revolutionary ...

The Broadview Anthology of Literature of the Revolutionary ...

Preview

1758 – 1793 Henrietta Boyle O'Neill was the only child of Charles Boyle, Lord Dungarvon, and Susannah Hoare Boyle, daughter of the banker Henry Hoare. In 1777, she ... 358 Henrietta O'Neill Henrietta O'Neill 1758 – 1793 from Desmond.
Integrating health across policies: creating a better future ...

Integrating health across policies: creating a better future ...

Matthias Schuppe

... Liz Hoare (Rushey Green Time Bank): tel: 07946 411177, email: liz. hoare ...
The Sea Inside

The Sea Inside

Philip Hoare

A startling new book, his most personal to date, from Philip Hoare, co-curator of ’Moby Dick: Big Read and winner of the 2009 Samuel Johnson Prize for ‘Leviathan’.
Overcoming Fear of Heights: How to Conquer Acrophobia and ...

Overcoming Fear of Heights: How to Conquer Acrophobia and ...

Martin Antony

How to Conquer Acrophobia and Live a Life Without Limits Martin Antony, Karen Rowa. Martin M. Antony, Ph.D., is professor of psychology at Ryerson University in Toronto, ON, and director of research at the Anxiety Treatment and Research ...
The Whale: In Search of the Giants of the Sea

The Whale: In Search of the Giants of the Sea

Philip Hoare

From his childhood fascination with the gigantic Natural History Museum model of a blue whale, to his abiding love of Moby-Dick, to his adult encounters with the living animals in the Atlantic Ocean, the acclaimed writer Philip Hoare has ...
Gay men and the Left in post-war Britain: How the personal ...

Gay men and the Left in post-war Britain: How the personal ...

Lucy Robinson

28 Lord Arran, Correspondence (Antony Grey, 1968) HCA AT 13/1. 29 Lord Arran . Correspondence (Antony Grey, 1968) HCA AT 13/1. 30 Antony Grey, 'Letter tothe Times, 2 April 1954', inSpeaking Out: Writing onSex, Law, Politics and Society ...
The Ballets of Antony Tudor: Studies in Psyche and Satire

The Ballets of Antony Tudor: Studies in Psyche and Satire

Judith Chazin-Bennahum

While not a biography in the traditional sense, the book does shed fascinating light on the private life of Antony Tudor.
Discarded Images

Discarded Images

Thelma Hancock

Antony Grey surfaced three hours later and looked at the nun sitting at the side of his bed in some astonishment. 'Hello.' She spoke quietly, even as her hand was reaching for the buzzer. 'Would you like a drink of water?' Antony opened his ...
Antony Gormley

Antony Gormley

Antony Gormley

This catalogue raisonne is the definitive guide to Gormley's career. An extensive, large-format publication, it is the first major retrospective of his most significant works.
Antony Gormley on Sculpture

Antony Gormley on Sculpture

Antony Gormley

Lavishly illustrated, this book will be of interest to not only art lovers, curators, and critics, but also artists and art students.
Antony and Cleopatra

Antony and Cleopatra

Colleen McCullough

In this final novel in the Roman series, McCullough turns her attention to the legendary romance of Antony and Cleopatra.
Pleading in the Blood: The Art and Performances of Ron Athey

Pleading in the Blood: The Art and Performances of Ron Athey

Preview

The diverse range of artistic and critical contributors to the book reflects Athey's creative and cultural impact, among them musician Antony Hegarty of Antony and the Johnsons who contributed a foreword.
Speaking of Sex: The Limits of Language

Speaking of Sex: The Limits of Language

Antony Grey

Antony Grey criticizes the various rhetorics of sexual discussion, and points at the ways in which language often becomes a stumbling-block to mutual understanding and happiness.
Princess of the Pack: A Woolven Secret Novella

Princess of the Pack: A Woolven Secret Novella

Saranna DeWylde

“Antony, did you know that the Ardennes have recently gone into business with Peter Breslin? Luc is a silent partner in his new business.” Antony snapped his head around to fix her with his hard predator's gaze. If she were a lesser wolf, she  ...
Ultimatum

Ultimatum

Antony Trew

With chilling plausibility, Antony Trew describes how a group of ultra-millitant terrorists - disavowed by Yasir Arafat and the PLO - hijack a nuclear warhead, smuggle it into Londo, issue the ultimatum, and so trigger off a macabre ...
Bosnian Muslims in the Second World War: A History

Bosnian Muslims in the Second World War: A History

Marko Attila Hoare

Marko Hoare provides the first, comprehensive history of Bosnian Muslims in World War II, based on extensive research in the archives of Bosnia-Hercegovina, Serbia, and Croatia.
Letters of the king of England

Letters of the king of England

Halliwell-Phillipps

Charles I. to Richard Browne 1643 343 Charles I. to prince Maurice . . , 1643 343 Charles I. to the mayor of Newbury 1643 344 Charles I. to the queen 1644 344 Charles I. to general Goring 1644 145 Charles I. to the earl of Newcastle . , 1644  ...
Overcoming Medical Phobias: How to Conquer Fear of Blood, ...

Overcoming Medical Phobias: How to Conquer Fear of Blood, ...

Martin Antony

How to Conquer Fear of Blood, Needles, Doctors, and Dentists Martin Antony, Mark Watling ... Library of Congress Cataloging-in-Publication Data Antony, Martin M. Overcoming medical phobias : how to conquer fear of blood, needles, doc- ...

who called from an unknown number?